41![Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation Lucas Dixon1 and Ross Duncan2 1 Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation Lucas Dixon1 and Ross Duncan2 1](https://www.pdfsearch.io/img/261e06879dddfad50b042857ca5ac262.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2008-05-04 13:02:00
|
---|
42![Social Rationalism; Scotland, my utopia. Lucas Dixon, KenYerSel original draft: 25 Oct 2007, updated 2 Jan 2009 There is another way our world can be. It is up to us, together, to walk towar Social Rationalism; Scotland, my utopia. Lucas Dixon, KenYerSel original draft: 25 Oct 2007, updated 2 Jan 2009 There is another way our world can be. It is up to us, together, to walk towar](https://www.pdfsearch.io/img/2292d6dcfa431499c1bdafd825378d17.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2009-01-02 11:26:53
|
---|
43![Graphical Reasoning in Compact Closed Categories for Quantum Computation Lucas Dixon∗ University of Edinburgh Ross Duncan† Graphical Reasoning in Compact Closed Categories for Quantum Computation Lucas Dixon∗ University of Edinburgh Ross Duncan†](https://www.pdfsearch.io/img/e9d48070e703f4b09172322c506eac24.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2009-03-11 14:32:27
|
---|
44![IsaPlanner 2: A Proof Planner for Isabelle Lucas Dixon and Moa Johansson School of Informatics, University of Edinburgh Abstract. We describe version 2 of IsaPlanner, a proof planner for the Isabelle proof assistant and IsaPlanner 2: A Proof Planner for Isabelle Lucas Dixon and Moa Johansson School of Informatics, University of Edinburgh Abstract. We describe version 2 of IsaPlanner, a proof planner for the Isabelle proof assistant and](https://www.pdfsearch.io/img/7723652bd2b26dd9b771476cf9520eb7.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2008-12-03 05:18:38
|
---|
45![Case-Analysis for Rippling and Inductive Proof Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona Case-Analysis for Rippling and Inductive Proof Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona](https://www.pdfsearch.io/img/543db97f216ab997d4e1b73002cb24c6.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-04-09 17:09:07
|
---|
46![IsaPlanner: A Prototype Proof Planner in Isabelle Lucas Dixon and Jacques Fleuriot ? IsaPlanner: A Prototype Proof Planner in Isabelle Lucas Dixon and Jacques Fleuriot ?](https://www.pdfsearch.io/img/17efaa7d0a33bc5b6bf4fb405dd86a83.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-03-10 05:42:39
|
---|
47![Open Graphs and Monoidal Theories Lucas Dixon University of Edinburgh Aleks Kissinger Open Graphs and Monoidal Theories Lucas Dixon University of Edinburgh Aleks Kissinger](https://www.pdfsearch.io/img/c47eda6e7206015ec7adf45fb07ba9c3.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-11-17 05:56:04
|
---|
48![Open Graphs and Computational Reasoning Lucas Dixon Ross Duncan, Aleks Kissinger University of Edinburgh Open Graphs and Computational Reasoning Lucas Dixon Ross Duncan, Aleks Kissinger University of Edinburgh](https://www.pdfsearch.io/img/3ec984477208195bf2a228b09b598a73.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-07-22 02:32:00
|
---|
49![A Calculus for Conjecture Synthesis Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona ?? A Calculus for Conjecture Synthesis Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona ??](https://www.pdfsearch.io/img/fc01379d17307f84f2bdc6aaba3d7a55.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2011-02-28 21:07:11
|
---|
50![Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit`](https://www.pdfsearch.io/img/6459310b2f1b559b05d5539cb9cdc4ce.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-10-06 07:21:32
|
---|